Functions and mappings

Results: 2485



#Item
211Mathematical logic / Model theory / Abstract interpretation / Semantics / Interpretation / Function / Piecewise / Denotational semantics / Mathematics / Functions and mappings / Logic

An Abstract Domain to Infer Ordinal-Valued Ranking Functions ”to infinity. . . and beyond!” Caterina Urban and Antoine Min´ e

Add to Reading List

Source URL: www.di.ens.fr

Language: English - Date: 2015-05-25 23:05:38
212Expected value / Function / Linear algebra / Operator theory / Mutual information / Finite difference / Mathematics / Mathematical analysis / Functions and mappings

Linear Algebra and its Applications–82 www.elsevier.com/locate/laa A family of inequalities originating from coding of messages Joel E. Cohen a ,∗ , Johannes H.B. Kemperman b,1 ,

Add to Reading List

Source URL: lab.rockefeller.edu

Language: English - Date: 2012-02-08 16:23:35
213Computer programming / Source code / Function / Graph of a function / Parameter / Inverse function / Subroutine / Cartesian coordinate system / Anonymous function / Mathematics / Functions and mappings / Elementary mathematics

The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b

Add to Reading List

Source URL: ctan.megagod.net

Language: English - Date: 2014-09-20 20:34:08
214Function / Normal distribution / Unfolding / Fold / Parameter / Mathematics / Functions and mappings / Mathematical analysis

4S03 Molecular Biophysics – AssignmentQuestions based on Liphardt et al) – Reversible unfolding of single RNA molecules by mechanical force. (a) What is Tetrahymena thermophila? What is the T. thermoph

Add to Reading List

Source URL: physwww.mcmaster.ca

Language: English - Date: 2013-09-02 15:07:29
215Problem solving / Science / Decision theory / Evolutionary game theory / Evolutionarily stable strategy / Nash equilibrium / Function / Tak / Best response / Game theory / Mathematics / Functions and mappings

Economics Letters–50 Some relationships between evolutionary stability criteria in games Martin Dufwenberg a

Add to Reading List

Source URL: www.u.arizona.edu

Language: English - Date: 2003-10-09 20:26:58
216Decision theory / Functions and mappings / Control theory / Preference / Utility / Abstraction / Social choice theory / Function / Dynamic programming / Mathematics / Consumer theory / Microeconomics

Self-Control and the Theory of Consumption† Faruk Gul and Wolfgang Pesendorfer Princeton University

Add to Reading List

Source URL: www.princeton.edu

Language: English - Date: 2001-01-04 16:30:03
217Computer programming / Source code / Function / Graph of a function / Parameter / Inverse function / Subroutine / Cartesian coordinate system / Anonymous function / Mathematics / Functions and mappings / Elementary mathematics

The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b

Add to Reading List

Source URL: mirrors.hust.edu.cn

Language: English - Date: 2014-09-20 20:34:08
218Proof theory / Computability theory / Functions and mappings / Reverse mathematics / Mathematical proofs / Primitive recursive function / Gödel–Gentzen negative translation / Primitive recursive arithmetic / Second-order arithmetic / Mathematics / Mathematical logic / Logic

BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 1999-06-22 09:34:21
219Computer programming / Source code / Function / Graph of a function / Parameter / Inverse function / Subroutine / Cartesian coordinate system / Anonymous function / Mathematics / Functions and mappings / Elementary mathematics

The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b

Add to Reading List

Source URL: ctan.sciserv.eu

Language: English - Date: 2014-09-20 20:34:08
220Computer programming / Source code / Function / Graph of a function / Parameter / Inverse function / Subroutine / Cartesian coordinate system / Anonymous function / Mathematics / Functions and mappings / Elementary mathematics

The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b

Add to Reading List

Source URL: ftp.jaist.ac.jp

Language: English - Date: 2014-09-20 20:34:08
UPDATE